Borel covering theorem

波雷尔覆盖定理